Computational logician

Synonyms for "computational logician" (13 found)

Ranked by relevance and common usage.

Closest matches (3)

Adjective(3 words)
algorithm designeralgorithmicautomated reasoner

Strong matches (4)

Adjective(4 words)
computational theoristformalformal methods researcherformalized

Related words (6)

Adjective(5 words)
logic basedlogic designerlogicallogiciantheoretician
Noun(1 words)

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

6 entries

More specific

9 entries
algorithmicautomated reasonerformalformal methods researcherformalizedlogic basedmodel checkersatisfiability solvertheorem prover

Collocations

10 entries
computational logician analysiscomputational logician approachcomputational logician collaborationcomputational logician frameworkcomputational logician methodcomputational logician researchercomputational logician rolecomputational logician skillscomputational logician toolkitcomputational logician training

Inflections

3 entries
computational logiciansmore computational logicianmost computational logician

Derivations

1 entries